predicate logic of first order
[数] 一阶谓词逻辑
热门查询
- relearn vt. 重学；再学习
- balladeer n. 民谣歌手
- roomy adj. 宽敞的；广阔的；宽大的
- insolence n. 傲慢；傲慢无礼的行为
- undreamt adj. 梦想不到的，意外的
- shipyard n. 造船厂；船坞；修船厂
- blub n. [建] 灰泡 vi. 哭
- chasse n. 快滑步 n. (Chasse)人名；(法)沙斯；(葡)沙塞 vi. 跳快滑步；以快滑步跳舞
- GP abbr. 通用的（general purpose）；普通开业医生（general practitioner）
- floodlit adj. 照明的，泛光灯照明的
- provisioning n. 准备金提取 v. 供应补给品（provision的ing形式）
- pleasingly adv. 高兴地；喜欢地
- Paralympic n. 残奥会
- bureau n. 局，处；衣柜；办公桌 n. (Bureau)人名；(法)比罗
- opinion n. 意见；主张
- organismic [生物] 生物的 有机体的
- stocky adj. 矮壮的；健壮结实的
- saut n. 跳跃，三级跳远
- nose n. 鼻子；嗅觉；突出的部分；探问 vt. 嗅；用鼻子触 vi. 小心探索着前进；探问
- incredulous adj. 怀疑的；不轻信的
